first-order theory - Spanisch Englisch Wörterbuch